1. Advances in the design of symbolic computation systems
المؤلف: A. Miola and M. Temperini )eds.(
المکتبة: (طهران)
موضوع: ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Advances in the design of symbolic computation systems
المؤلف: A. Miola and M. Temperini )eds.(,Series
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Algorithms and complexity : new directions and recent results
المؤلف: edited by J. F. Traub
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics
رده :
QA
76
.
6
.
S98
1976
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. An introduction to SAGE programming
المؤلف: \ Razvan A. Mezei, Lenoir-Rhyne University, Donald & Helen Schort School of Mathematics and Computing Sciences, Hickory, NC, USA.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics-- Data processing.,Numerical analysis-- Data processing.,Computer programming.,ریاضیات -- دادهپردازی
رده :
QA76
.
95
.
M486
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. An introduction to SAGE programming :
المؤلف: Razvan A. Mezei
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: SageMath.,Computer programming.,Mathematics-- Data processing.,Numerical analysis-- Data processing.
رده :
QA76
.
95
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Beginning math and physics for game programmers
المؤلف: / Wendy Stahler
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Computer science- Mathematics,Computer games- Programming,Physics- Data processing
رده :
QA76
.
9
.
M35
,
S73
2004
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Box2d for Flash games
المؤلف: Emanuele Feronato
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer animation-- Mathematics,Computer games-- Programming,Physics-- Data processing
رده :
QA76
.
76
.
C672
P36
2012
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Calculating with Fortran
المؤلف: Manifold, George O.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Categories and computer science
المؤلف: Walters, R. F. C.
المکتبة: (طهران)
موضوع: Data processing ، Categories )Mathematics(,، Computer programming
رده :
QA
169
.
W3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Categories and computer science
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; Data processing ; Computer programming ;
![](/design/images/bookmore.png)
11. Computational category theory /
المؤلف: D.E. Rydeheard, R.M. Burstall
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics)-- Data processing,Computer programming
رده :
QA169
.
R93
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Computational category theory
پدیدآورنده : David E. Rydeheard, Rod M. Burstall
موضوع : Categories (Mathematics)- Data processing,Computer programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Computer science, a mathematical interoduction applied mathematics--modelling analysis, and optimization techniques with application to software ystems
المؤلف: / Art Lew
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Electronic data processing--Mathematics,Electronic digital computer-Programming,Computer science - Mathematics
رده :
QA
76
.
9
.
M35L48
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Computer science with Mathematica
پدیدآورنده : Roman E. Maeder
موضوع : Mathematica (Computer file),Mathematics, Data processing,Mathematica (Computer programming language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Computer science with Mathematica
المؤلف: / Roman E. Maeder
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Mathematica (Computer file),Mathematics- Data processing,Mathematica (Computer programming language)
رده :
QA76
.
95
.
M34
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Computer science with Mathematica : theory and practice for science, mathematics, and engineering
المؤلف: / Roman E. Maeder.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematica (Computer file),Mathematics -- Data processing.,Mathematica (Computer programming language)
رده :
QA76
.
95
.
M34
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Computer science with Mathematica: theory and practice for science, mathematics, and engineering
پدیدآورنده : Maeder, Roman
موضوع : ، Mathematics-- Data processing,، Mathematica )Computer programming language(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Fortran codes for mathematical programming : linear, quadratic and discrete
المؤلف: Land, Ailsa H
المکتبة: (طهران)
موضوع: Data processing ، Programming )Mathematics(,، FORTRAN )Computer program language(
رده :
QA
402
.
5
.
L33
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. From problem to program
المؤلف: Wardle, Michael E.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Computer programming,، Mathematics - Data processing
رده :
QA
76
.
6
.
W35
1972
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. How to solve it by computer
المؤلف: Dromey, R.G
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing ، Mathematics,Data processing ، Problems solving,Programming ، Electronic digital computer
رده :
QA
76
.
95
.
D76
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)